theorems of subgroups